d | ρ | Label | ID | ||
---|---|---|---|---|---|
D5xC22:C8 | 80 | D5xC2^2:C8 | 320,351 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D5:(C22:C8) = D10.11M4(2) | φ: C22:C8/C22xC4 → C2 ⊆ Out D5 | 80 | D5:(C2^2:C8) | 320,1091 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D5.(C22:C8) = D10.3M4(2) | φ: C22:C8/C2xC8 → C2 ⊆ Out D5 | 80 | D5.(C2^2:C8) | 320,230 |